abstract data types in data structures